The Synchronous Languages Twelve Years Later
نویسندگان
چکیده
Twelve years ago, Proceedings of the IEEE devoted a special section to the synchronous languages. This article discusses the improvements, difficulties, and successes that have occured with the synchronous languages since then. Today, synchronous languages have been established as a technology of choice for modeling, specifying, validating, and implementing real-time embedded applications. The paradigm of synchrony has emerged as an engineer-friendly design method based on mathematicallysound tools.
منابع مشابه
The synchronous languages 12 years later
Twelve years ago, PROCEEDINGS OF THE IEEE devoted a special section to the synchronous languages. This paper discusses the improvements, difficulties, and successes that have occured with the synchronous languages since then. Today, synchronous languages have been established as a technology of choice for modeling, specifying, validating, and implementing real-time embedded applications. The pa...
متن کاملSynchronous Soleus and Reverse Sural Flap for Large Soft Tissue Defect Reconstruction of Leg
BACKGROUND Extended Soft tissue defect of leg including middle and distal parts always has been a challenge for many plastic surgeons and also a frustrated problem for patients and families. To introduce the use of the soleus muscle and reverse sural flaps as synchronous surgical treatment alternative of the leg bone exposure with large soft tissue defect, this study was conducted. METHODS T...
متن کاملA Submitted to Special Issue on Application of Concurrency to System Design Sequentially Constructive Concurrency— A Conservative Extension of the Synchronous Model of Computation
Synchronous languages ensure determinate concurrency, but at the price of restrictions on what programs are considered valid, or constructive. Meanwhile, sequential languages such as C and Java offer an intuitive, familiar programming paradigm but provide no guarantees with regard to determinate concurrency. The sequentially constructive (SC) model of computation (MoC) presented here harnesses ...
متن کاملSynchronous multifocal osteosarcoma: results in twelve patients treated with neoadjuvant chemotherapy and simultaneous resection of all involved bones.
BACKGROUND Multifocal osteosarcoma is a rare type of tumor which is always excluded from therapy trials and is therefore rarely investigated for prognosis and treatment. PATIENTS AND METHODS Twelve patients with synchronous multifocal osteosarcoma underwent neoadjuvant chemotherapy and, when feasible, simultaneous resection of involved bones. RESULTS Four patients were unsuitable for resect...
متن کاملThe Synchronous Hypothesis and Synchronous Languages
The design of electronic Embedded Systems relies on a number of different engineering disciplines. As the domain becomes ever more important, both in theoretical challenges and in industrial relevance, it has drawn a considerable attention in recent years, with a number of proposals for formalisms, languages and models to help support the design flow. In this article we shall describe Synchrono...
متن کامل